// SPDX-License-Identifier: GPL-2.0
/*
 * GDB CORE
 *
 * (C) 2024.05.01 BuddyZhang1 <buddy.zhang@aliyun.com>
 */
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <string.h>

int main()
{
	void *ptr = NULL;

	/* TRIGGER CORE */
	*(char *)ptr = 'B';

	return 0;
}
